Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
441	Microsoft Word - DASIA2013 - Formal Validation of Aerospace Software - Astrium ST - AdaCore[removed].doc Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2013-06-10 05:40:58 Logic in computer science SPARK Postcondition Subroutine Ada Formal methods Precondition Verification and validation Library Computing Software engineering Computer programming
442	Towards Domain-Specific Property Languages: The ProMoBox Approach Bart Meyers Manuel Wimmer Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-10-21 17:24:43 Science Model checkers Theoretical computer science Automata theory ISO standards Modeling language Domain-specific modeling Formal verification Promela Software engineering Unified Modeling Language Scientific modeling
443	Presented at EuroSys Doctoral Workshop 2012, Bern, Switzerland. Towards a Fully Verified File System Sidney Amani Leonid Ryzhyk Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:43 Disk file systems Applied mathematics Logic in computer science Formal verification Formal specification Specification File system Inode Proof assistant Formal methods Computing Theoretical computer science
444	Towards Domain-Specific Property Languages: The ProMoBox Approach Bart Meyers, Manuel Wimmer, Hans Vangheluwe, Joachim Denil The 13th Workshop on Domain-Specific Modeling @ SPLASH 2013 Motivation Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-11-06 12:27:21 Elevator Formal methods Software development Software engineering Philosophy of technology Temporal logic in finite-state verification Model checking Linear temporal logic Domain-specific modeling
445	FOCUS: Safety-Critical Software Testing or Formal Verification: DO-178C Alternatives and Industrial Experience Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-05-03 05:26:01 Formal methods Software requirements Software testing Avionics Embedded systems DO-178B DO-178C Verification Formal verification Software development Computing Software
446	Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification Johannes Kanig2 , Rod Chapman1 , Cyrille Comar2 , Jerˆome Guitton2 , Yannick Moy2 , and Emyr Rees1 1 Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2014-06-16 09:55:02 Formal methods Ada programming language SPARK Formal verification Ada KeY Sheaf Computing Software engineering Computer programming
447	IAEA-TECDOC[removed]Validation Procedures of Software Applied in Nuclear Instruments Proceedings of a Technical Meeting held in Vienna, 20–23 November 2006 Add to Reading List Source URL: www-pub.iaea.org Language: English - Date: 2007-09-11 05:15:35 Science Technology Pharmaceutical industry Validity Formal methods Validation Verification and validation Software verification Software development process Software testing Software development Systems engineering
448 $Formal methods / Logic in computer science / Theoretical computer science / Formal verification / Sun Yat-sen University / Sun Yat-sen / Logic programming / Guangzhou / Chinese people / Guangdong / Provinces of the People\'s Republic of China$	Institute for Integrated and Intelligent Systems Speaker: Professor Yongmei Liu - Sun Yat-sen University in Guangzhou Date: Add to Reading List Source URL: www.griffith.edu.au Language: English - Date: 2014-08-21 03:08:32 Formal methods Logic in computer science Theoretical computer science Formal verification Sun Yat-sen University Sun Yat-sen Logic programming Guangzhou Chinese people Guangdong Provinces of the People\'s Republic of China
449	SISO-GUIDE[removed]Guide for Generic Methodology for Verification and Validation (GMVV) to Support Acceptance of Models, Simulations, and Data GM-VV Volume 1: Add to Reading List Source URL: www.simulationaustralia.org.au Language: English - Date: 2012-12-20 18:31:00 Validity Systems engineering Formal methods Knowledge Philosophy of science Simulation Interoperability Standards Organization Validation Verification and validation SISO Science Modeling and simulation Pharmaceutical industry
450	ISSUE 34 \| JUNE[removed]INSIDE Come in Spin-out! Machine learning a natural fit Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:54 L4 microkernel family University of New South Wales Information and communication technologies in education Computing CeBIT Formal verification Academia NICTA Technology Gernot Heiser

UPDATE